-
1 теория программирования
Большой англо-русский и русско-английский словарь > теория программирования
-
2 programming theory
-
3 theory of programming
English-Russian dictionary of computer science > theory of programming
-
4 programming theory
теория программирования
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Англо-русский словарь нормативно-технической терминологии > programming theory
-
5 theory
ˈθɪərɪ сущ.
1) теория to advance, present, propose, suggest a theory ≈ предлагать, отстаивать теорию to advocate theory ≈ отстаивать теорию to combine theory and practice ≈ объединять теорию и практику to confirm a theory ≈ подтверждать теорию to develop a theory ≈ развивать теорию to disprove, explode, refute a theory ≈ опровергать, подрывать, разбивать теорию to formulate a theory ≈ формулировать теорию to test a theory ≈ проверять теорию pet theory ≈ излюбленная теория a theory evolves ≈ теория возникает, появляется a theory holds up ≈ теория подтверждается in theory ≈ в теории, теоретически In theory their plan makes sense. ≈ Теоретически их план имеет смысл. on a theory ≈ согласно теории They proceeded on the theory that the supplies would arrive on time. ≈ Они исходили из предположения, что припасы прибудут вовремя. She has a theory that drinking milk prevents colds. ≈ У нее была теория, что если будешь пить молоко, то не заболеешь. scientific theory game theory information theory political theory quantum theory systems theory big bang steady state theory theory of relativity numbers theory
2) разг. предположение теория;
- сoherent * последовательная теория - social-science theories социологические теории - general relativity * общая теория относительности - * of evolution теория эволюции - essays in * теоретические очерки - to formulate a * сформулировать теорию - to put forward a new * выдвинуть новую теорию - the theories that have sprung up in recent years теории, появившиеся в последние годы - the * of economic integration has made rapid strides теория экономической интеграции быстро развивалась (математика) раздел( математики), теория - game * туория игр - * of similarity теория подобия - the * of numbers теория чисел( разговорное) предположение, догадка;
особое мнение, взгляд - to have a * полагать - what's your * of the case? что вы думаете по этому поводу? - my * is that he is lying я думаю, что он лжет - my * has been amply born out моя точка зрения полностью подтвердилась теоретические правила, основы - the * of education теоретические основы воспитания без артикля: абстрактные, теоретические знания - * and practice теория и практика - in * в теории;
теоретически, абстрактно, отвлеченно - your plan is good in * вообще ваш план неплох applied decision ~ прикладная теория принятия решений automata ~ теория автоматов axiomatic ~ аксиоматическая теория communication ~ теория связи deterrence ~ теория устрашения expectation ~ теория вероятностей game ~ теория игр graph ~ теория графов theory разг. предположение;
to have a theory that... полагать, что... hemline ~ бирж. теория "длины дамских юбок" (шуточная теория о том, что цены акций движутся в одном направлении с длиной дамских юбок) information ~ теория информации intimidation ~ теория устрашения legal ~ правовая теория linear programming ~ теория линейного программирования liquidity preference ~ теория предпочтения ликвидности logic ~ матлогика logical ~ логическая теория nonlinearized ~ нелинейная теория ~ теория;
numbers theory теория чисел operations research ~ теория исследования операций optimal control ~ оптимальная теория управления optimization ~ теория оптимизации price ~ полит.эк. теория цен probabilistic decision ~ вероятностная теория принятия решений probability ~ теория вероятностей queueing ~ стат. теория массового обслуживания queueing ~ теория массового обслуживания representation ~ теория представлений sampling ~ теория выборочного метода theory разг. предположение;
to have a theory that... полагать, что... ~ теоретические основы ~ теоретические правила ~ теория;
numbers theory теория чисел ~ теория ~ of large samples теория больших выборок ~ of law теория права ~ of matrices теория матриц ~ of programming вчт. теория программирования ~ of queues стат. теория массового обслуживания ~ of random processes теория случайных процессов ~ of sets теория множеств ~ of statistical decision теория статистических решений ~ of stochastic processes теория случайных процессов ~ of testing hypothesis теория проверки гипотез ~ of time series теория временных рядов ~ of wages теория заработной платы ~ of waiting lines теория массового обслуживания ~ of weighted smoothing теория взвешенного сглаживания waiting line ~ стат. теория массового обслуживания -
6 theory
[ˈθɪərɪ]applied decision theory прикладная теория принятия решений automata theory теория автоматов axiomatic theory аксиоматическая теория communication theory теория связи deterrence theory теория устрашения expectation theory теория вероятностей game theory теория игр graph theory теория графов theory разг. предположение; to have a theory that... полагать, что... hemline theory бирж. теория "длины дамских юбок" (шуточная теория о том, что цены акций движутся в одном направлении с длиной дамских юбок) information theory теория информации intimidation theory теория устрашения legal theory правовая теория linear programming theory теория линейного программирования liquidity preference theory теория предпочтения ликвидности logic theory матлогика logical theory логическая теория nonlinearized theory нелинейная теория theory теория; numbers theory теория чисел operations research theory теория исследования операций optimal control theory оптимальная теория управления optimization theory теория оптимизации price theory полит.эк. теория цен probabilistic decision theory вероятностная теория принятия решений probability theory теория вероятностей queueing theory стат. теория массового обслуживания queueing theory теория массового обслуживания representation theory теория представлений sampling theory теория выборочного метода theory разг. предположение; to have a theory that... полагать, что... theory теоретические основы theory теоретические правила theory теория; numbers theory теория чисел theory теория theory of large samples теория больших выборок theory of law теория права theory of matrices теория матриц theory of programming вчт. теория программирования theory of queues стат. теория массового обслуживания theory of random processes теория случайных процессов theory of sets теория множеств theory of statistical decision теория статистических решений theory of stochastic processes теория случайных процессов theory of testing hypothesis теория проверки гипотез theory of time series теория временных рядов theory of wages теория заработной платы theory of waiting lines теория массового обслуживания theory of weighted smoothing теория взвешенного сглаживания waiting line theory стат. теория массового обслуживания -
7 programmēšanas teorija
▪ Terminien programming theory inf.lv Zinātnes nozare, kas pēta programmēšanas pamatprincipus, izmantojot formālas matemātiskas metodes. Galvenie pētījumu objekti: programmēšanas valodu semantika, programmu korektuma pierādījumi, programmu specifikācija, programmu translēšana un programmēšanas metodoloģijaru теория программированияLZAit▪ EuroTermBank terminiInf, Kom, ITru теория программированияETB -
8 theor of programming
Большой англо-русский и русско-английский словарь > theor of programming
-
9 programming theory
Вычислительная техника: теория программирования -
10 theory of programming
Компьютерная техника: теория программирования -
11 theory of programming
English-Russian scientific dictionary > theory of programming
-
12 scheduling theory
теория расписаний
Научная дисциплина, посвященная разработке методов оптимизации оперативно-календарного планирования. Задачи Т.р. — один из видов задач исследования операций, объединяемых в классе задач упорядочения. Они состоят в определении оптимальной очередности обработки изделий на различных станках или других рабочих местах, составлении программы-»диспетчера» для управления работой ЭВМ в мультипрограммном режиме и т.п. Для решения задач используется ряд методов линейного программирования, дискретного программирования, методы ветвей и границ, сетевого планирования и управления. Последнее время особое развитие принимают приближенные методы решения, резко сокращающие перебор вариантов, (метод Монте-Карло). Сложность таких задач можно проиллюстрировать примером: требуется спланировать изготовление четырех изделий, каждое из которых проходит обработку на каждом из пяти станков. Существует (4!)5 или почти 7962 тыс. различных вариантов обработки (последовательностей); некоторые из них к тому же надо как-то отсеять, поскольку определенные операции следует выполнять в заданном порядке. На практике, разумеется, задачи еще намного сложнее. Проще других решаются так называемые задачи одного станка: поиск наилучшей последовательности обработки на нем некоторого множества деталей (наилучшей с точки зрения минимума затрат на пролеживание деталей до и после обработки, минимума времени задержки в выдаче деталей по сравнению с установленным сроком, минимального объема незавершенного производства и т.п.). Существует также ряд моделей планирования работы производственного участка (методическую основу для них дает модель Джонсона для n деталей и двух станков, но она представляет лишь теоретический интерес и малоприменима на практике). Наконец, Т.р. содержит методы составления календарных планов работы предприятий. Обычно задача ставится таким образом: составить план изготовления всех изделий, в котором не нарушались бы технологические ограничения, ограничения по мощности оборудования, а также сроки запуска и выпуска продукции. См. также: Задача о коммивояжере, Оперативно-календарное планирование.
[ http://slovar-lopatnikov.ru/]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > scheduling theory
-
13 game theory
теория игр
Метод моделирования, используемый для оценки воздействия решения на конкурентов.
[ http://tourlib.net/books_men/meskon_glossary.htm]
теория игр
Раздел современной математики, изучающий математические модели принятия решений в так называемых конфликтных ситуациях (т.е. ситуациях, при которых интересы участников либо противоположны и тогда эти модели называются «антагонистическими играми», либо не совпадают, хотя и не противоположны, и тогда речь идет об «играх с непротивоположными интересами«). Основоположники теории Дж. фон Нейман и О.Моргенштерн попытались математически описать характерные для рыночной экономики явления конкуренции как некую «игру«. В наиболее простом случае речь идет о противоборстве только двух противников, например, двух конкурентов, борющихся за рынок сбыта (о дуополии). В более сложных случаях в игре участвуют многие, причем они могут вступать между собой в постоянные или временные коалиции, союзы. Игра двух лиц называется парной; когда в ней участвуют n игроков — это «игра n — лиц«, в случае образования коалиций игра называется «коалиционной«. Суть игры в том, что каждый из участников принимает такие решения (т.е. выбирает такую стратегию действий), которые, как он полагает, обеспечивают ему наибольший выигрыш или наименьший проигрыш, причем этому участнику игры ясно, что результат зависит не только от него, но и от действий партнера (или партнеров), иными словами, он принимает решения в условиях неопределенности. Эти решения отражаются в таблице, которая называется матрицей игры, или платежной матрицей. Одной из задач Т.и. является выяснение того, возможно ли, и если возможно, то при каких условиях, некоторое равновесие (компромисс), в наибольшей степени устраивающее всех участников. При этом часто обнаруживается такая точка ( см.»седловая точка«), в которой достигается подобное равновесие. Принципиальным достоинством Т.и. считают то, что она расширяет общепринятое понятие оптимальности, включая в него такие важные элементы, как, например, компромиссное решение, устраивающее разные стороны в подобном споре (игре). На практике же игровые подходы используются отечественными экономистами при разработке моделей, в которых учитываются интересы различных звеньев экономики. Кроме того, математические приемы Т.и. могут применяться для решения многочисленных практических экономических задач на промышленных предприятиях. Например, для выбора оптимальных решений в области повышения качества продукции или определения запасов. «Противоборство» здесь происходит в первом случае между стремлением выпустить больше продукции (затратить на нее, в расчете на единицу, меньше труда) и сделать ее лучше, т.е. затратить больше труда, во втором случае — между желанием запасти ресурсов побольше, чтобы быть застрахованным от случайностей, и запасти поменьше, чтобы не замораживать средства. Следует отметить, что подобные задачи решаются и другими экономико-математическими способами. И это не случайно. Многие задачи Т.и. могут быть сведены, например, к задачам линейного программирования, и наоборот. Классификация игр пока не может считаться разработанной. Перечень видов игр, рассматриваемых в словаре, см. в статье Игра. См. также: Выигрыш, Гурвица критерий, Дерево игры, Игрок, Коалиция, Максимакс, Максимин, Матрица выигрышей, Матрица игры, Минимакс, Платежная матрица, Платежная функция, Побочный платеж, Решение игры, Сэвиджа критерий, Седловая точка игры, Смешанная стратегия, Стратегия, Характеристическая функция, Ход, Цена игры, Чистая стратегия, Ядро игры.
[ http://slovar-lopatnikov.ru/]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > game theory
-
14 automata theory
теория автоматов
Раздел теоретической кибернетики, который изучает математические модели (называемые здесь автоматами или машинами) реальных или возможных устройств, перерабатывающих дискретную информацию дискретными же тактами. Основными понятиями этой теории являются абстрактный автомат и композиция автоматов. Абстрактный автомат — модель, представляющая устройство, которое преобразует информацию в виде «черного ящика», имеющего входы и выходы и некоторое множество внутренних состояний. Когда на входы подается сигнал, то в зависимости от него и текущего состояния автомат переходит в следующее состояние и выдает сигналы на свои выходы. Это — один такт действия автомата. Затем подается следующий сигнал, наступает следующий такт и т.д. Изменение сигналов на входе меняет состояния автомата и его выходные сигналы, т.е. происходят элементарные преобразования поступающей в виде сигналов информации. Композиция автоматов показывает, каким образом из элементарных устройств может быть построено другое, более сложное. Т.а. позволяет не только конструировать разнообразные вычислительные машины (для чего, собственно, и была создана), но и изучать проблемы математической логики, разработки алгоритмов, программирования для компьютеров.
[ http://slovar-lopatnikov.ru/]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > automata theory
-
15 theory of algorithms
теория алгоритмов
Раздел математики, изучающий общие свойства алгоритмов. Проблема построения алгоритма с теми или иными свойствами называется алгоритмической проблемой, ее неразрешимость означает отсутствие соответствующего алгоритма; если алгоритм вычисления функции существует, она называется вычислимой. Т.а. тесно связана с теорией автоматов, образует теоретическую основу для разработки алгоритмических языков, обосновывает принципы выработки наиболее эффективных алгоритмов для программирования и решения задач на компьютерах.
[ http://slovar-lopatnikov.ru/]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > theory of algorithms
-
16 software science
Большой англо-русский и русско-английский словарь > software science
-
17 сызықтық бағдарламалау теориясы
Казахско-русский экономический словарь > сызықтық бағдарламалау теориясы
-
18 linear programming theory
Англо-русский словарь по экономике и финансам > linear programming theory
-
19 linear programming theory
Англо-русский словарь по психоаналитике > linear programming theory
-
20 programming language theory
Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > programming language theory
См. также в других словарях:
теория программирования — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN programming theory … Справочник технического переводчика
теория программирования спортивной тренировки — sporto treniruotės programavimo teorija statusas T sritis Kūno kultūra ir sportas apibrėžtis Visuma teorinių ir metodinių žinių apie objektyvių sporto treniruotės pagrindų, jos turinio rengimą taip, kad jis atitiktų tikslinius sportininkų rengimo … Sporto terminų žodynas
Теория автоматов — Теория автоматов раздел дискретной математики, изучающий абстрактные автоматы вычислительные машины, представленные в виде математических моделей и задачи, которые они могут решать. Теория автоматов наиболее тесно связана с… … Википедия
ТЕОРИЯ — (от греч. theoria рассмотрение, исследование) совокупность высказываний, замкнутых относительно логического следования. Такое предельно общее и наиболее абстрактное определение Т. дает логика. С логической т.зр. теорией можно назвать любое… … Философская энциклопедия
Теория модернизации — Теория модернизации теория, призванная объяснить процесс модернизации в обществах. Теория рассматривает внутренние факторы развития любой конкретной страны, исходя из установки, что «традиционные» страны могут быть привлечены к развитию… … Википедия
Теория расписаний — [scheduling theory] научная дисциплина, посвященная разработке методов оптимизации оперативно календарного планирования. Задачи Т.р. один из видов задач исследования операций, объединяемых в классе задач упорядочения. Они состоят в определении… … Экономико-математический словарь
теория расписаний — Научная дисциплина, посвященная разработке методов оптимизации оперативно календарного планирования. Задачи Т.р. один из видов задач исследования операций, объединяемых в классе задач упорядочения. Они состоят в определении оптимальной… … Справочник технического переводчика
теория игр — Метод моделирования, используемый для оценки воздействия решения на конкурентов. [http://tourlib.net/books men/meskon glossary.htm] теория игр Раздел современной математики, изучающий математические модели принятия решений в так называемых… … Справочник технического переводчика
ТЕОРИЯ ЛИНЕЙНОГО ПРОГРАММИРОВАНИЯ — теория, изучающая задачи нахождения экстремума линейной функции на допустимом множестве, задаваемом линейными ограничениями и неравенствами. Разработана Л.Канторовичем в 1939 г. с целью решения задач оптимального использования экономических… … Большой экономический словарь
Теория автоматов — [automata theory] раздел теоретической кибернетики, который изучает математические модели (называемые здесь автоматами или машинами) реальных или возможных устройств, перерабатывающих дискретную информацию дискретными же тактами. Основными… … Экономико-математический словарь
Теория автоматов — [automata theory] раздел теоретической кибернетики, который изучает математические модели (называемые здесь автоматами или машинами) реальных или возможных устройств, перерабатывающих дискретную информацию дискретными же тактами. Основными… … Экономико-математический словарь